(d/dx (2x * 2^x))-(x*2^x (2+xlog 2))=